大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Workshop on the Portability of Numerical Software 的图书(共3015本)

Human-Computer Interaction, Tourism and Cultural Heritage [electronic resource] : First International Workshop, HCITOCH 2010, Brescello, Italy, September 7-8, 2010. Revised Selected Papers

0
索取号：
作者：Cipolla Ficarra、 Francisco V.、Castro Lozano、 Carlos.、Nicol、 Emma.、Kratky、 Andreas.、Cipolla-Ficarra、 Miguel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Multi-Agent-Based Simulation XI [electronic resource] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers

0
索取号：
作者：Bosse、 Tibor.、Geller、 Armando.、Jonker、 Catholijn M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Approximation and Online Algorithms [electronic resource] : 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010. Revised Papers

0
索取号：
作者：Jansen、 Klaus.、Solis-Oba、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

New Horizons in Evolutionary Robotics [electronic resource] : Extended Contributions from the 2009 EvoDeRob Workshop

0
索取号：
作者：Doncieux、 St茅phane.、Bred猫che、 Nicolas.、Mouret、 Jean-Baptiste.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

0
索取号：
作者：Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Knowledge Representation for Health-Care [electronic resource] : ECAI 2010 Workshop KR4HC 2010, Lisbon, Portugal, August 17, 2010, Revised Selected Papers

0
索取号：
作者：Ria帽o、 David.、Teije、 Annette.、Miksch、 Silvia.、Peleg、 Mor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers

0
索取号：
作者：Fernandes、 Jo茫o M.、L盲mmel、 Ralf.、Visser、 Joost.、Saraiva、 Jo茫o.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithms and Models for the Web-Graph [electronic resource] : 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010. Proceedings

0
索取号：
作者：Kumar、 Ravi.、Sivakumar、 Dandapani.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Security Applications [electronic resource] : 11th International Workshop, WISA 2010, Jeju Island, Korea, August 24-26, 2010, Revised Selected Papers

0
索取号：
作者：Chung、 Yongwha.、Yung、 Moti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Provenance and Annotation of Data and Processes [electronic resource] : Third International Provenance and Annotation Workshop, IPAW 2010, Troy, NY, USA, June 15-16, 2010. Revised Selected Papers

0
索取号：
作者：McGuinness、 Deborah L.、Michaelis、 James R.、Moreau、 Luc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

0
索取号：
作者：Johnson、 Michael.、Pavlovic、 Dusko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Security Protocols [electronic resource] : 15th International Workshop, Brno, Czech Republic, April 18-20, 2007. Revised Selected Papers

0
索取号：
作者：Christianson、 Bruce.、Crispo、 Bruno.、Malcolm、 James A.、Roe、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Science and High Performance Computing IV [electronic resource] : The 4th Russian-German Advanced Research Workshop, Freiburg, Germany, October 12 to 16, 2009

0
索取号：
作者：Krause、 Egon.、Shokin、 Yurii.、Resch、 Michael.、Kr枚ner、 Dietmar.、Shokina、 Nina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [electronic resource] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

0
索取号：
作者：Leuken、 Ren茅.、Sicard、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Software Engineering [electronic resource] : International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

0
索取号：
作者：Kim、 Tai-hoon.、Kim、 Haeng-Kon.、Khan、 Muhammad Khurram.、Kiumi、 Akingbehin.、Fang、 Wai-chi.、艢l臋zak、 Dominik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Internet and Network Economics [electronic resource] : 6th International Workshop, WINE 2010, Stanford, CA, USA, December 13-17, 2010. Proceedings

0
索取号：
作者：Saberi、 Amin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.